[初心者向け] Haskellで型クラスのインスタンス定義に型制約を含める

型クラスのインスタンス定義に型クラス制約をつける方法を教えてもらいました。

佐々木一洋

2022.05.30

この記事は公開されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

はじめに

PFDSの演習でHaskellでの実装方法がわからずに悩んでいたことをhaskell-jpで質問したら一瞬で解決したので基本的な内容ですが記事にしてみました。

以下のような型クラス Heapがあるとします。

class Heap h where
  insert :: (Ord a) => h a -> a > h a
  empty :: (Ord a) => h a
  isEmpty :: h a -> Bool
  merge :: (Ord a) => h a -> h a -> h a

そのインスタンスをラップするADTを考えます。

-- 任意のヒープをラップして別のヒープを構成したい
-- HWはHeapWrapperの略
data HW h a = Node a (h a) | Empty

またHWもまたHeapとします。

instance Heap HW where

ここで２つの問題があります。

上記の問題には以下のようにインスタンス定義に型クラス制約を含めることで対応できます。

instance Heap h => Heap (HW h) where

これによってインスタンスにはHeapを実装するカインド*→*である型が必要であることが示せます。

型クラス制約を含めることができることはhaskell-jpのslackワークスペースで教えていただきました。mod_poppo さん、ありがとうございました！！